Comparaison entre modèles d'ondes de surface en dimension 2
نویسندگان
چکیده
منابع مشابه
Comparaison Entre Modèles D’ondes De Surface En Dimension 2
On the basis of the principle of conservation of mass and fundamental principle of dynamics, we find the Euler equation enabling us to describe the asymptotic models of waves propagation in shallow water in dimension 1. To describe the waves propagation in dimension 2, a linear perturbation of the KdV equation is used by Kadomtsev and Petviashvili [Sov. Phys. Dokady 15 (1970) 539]. But that doe...
متن کاملVérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur
RÉSUMÉ. Les approches à base de modèles se développent fortement pour la conception d’applications interactives. Les modèles sont alors utilisés pour représenter les points de vue des différents intervenants (dont l’utilisateur). Cet article présente une approche qui peut s’appliquer à chaque itération de conception. Elle vise à vérifier la cohérence de coconception des modèles de tâches (repré...
متن کاملUne comparaison entre deux méthodes de preuve de sécurité
In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...
متن کاملModélisation explicite de l'adaptation sémantique entre modèles de calcul
This work takes place in the context of hierarchical heterogeneous modeling using the model of computation approach in order to model complex systems which includes several components from different technical fields. Each of these components is usually designed according to a modeling paradigm that suits the technical domain and is based on specific semantics. Therefore, the overall system, whi...
متن کاملTransformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine
Within the framework of collaborative design, it is necessary that specialists of any domain can automatically manage links between different models that are semantically close. Based on a concrete transformation example from a use case diagram (Software Engineering) to a task tree (HCI), languages proposed by model driven engineering (MDE) are evaluated. Our goal is to find an adequate languag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ESAIM: Mathematical Modelling and Numerical Analysis
سال: 2007
ISSN: 0764-583X,1290-3841
DOI: 10.1051/m2an:2007033